Flow Propagation Analysis
نویسندگان
چکیده
منابع مشابه
Explaining Flow-Based Propagation
Lazy clause generation is a powerful approach to reducing search in constraint programming. For use in a lazy clause generation solver, global constraints must be extended to explain themselves. In this paper we present two new generic flow-based propagators (for hard and soft flow-based constraints) with several novel features, and most importantly, the addition of explanation capability. We d...
متن کاملDTA++: Dynamic Taint Analysis with Targeted Control-Flow Propagation
Dynamic taint analysis (DTA) is a powerful technique for, among other things, tracking the flow of sensitive information. However, it is vulnerable to false negative errors caused by implicit flows, situations in which tainted data values affect control flow, which in turn affects other data. We propose DTA++, an enhancement to dynamic taint analysis that additionally propagates taint along a t...
متن کاملAn Application of Constraint Propagation to Data-Flow Analysis
The optimized compilation of Constraint Logic Programming (CLP) languages can give rise to impressive performance improvements, even more impressive than the ones obtainable for the compilation of Prolog. On the other hand, the global analysis techniques needed to derive the necessary information can be significantly more complicated than in the case of Prolog. The original contribution of the ...
متن کاملSmoothed analysis of belief propagation and minimum-cost flow algorithms
Acknowledgments At the start of a Ph.D. project, you never know where it will take you. Though the research plan for my project contained several paragraphs on the planned research for the first two years, the plan for the last two years consisted of only a couple of lines. Even this concise plan turned out to be too detailed, since some research directions turned out to be less promising than ...
متن کاملWave Propagation in Multicomponent Flow Models
Abstract. We consider systems of hyperbolic balance laws governing flows of an arbitrary number of components equipped with general equations of state. The components are assumed to be immiscible. We compare two such models; one in which thermal equilibrium is attained trough a relaxation procedure, and a fully relaxed model in which equal temperatures are instantaneously imposed. We describe h...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: JACC: Cardiovascular Imaging
سال: 2011
ISSN: 1936-878X
DOI: 10.1016/j.jcmg.2010.11.009